﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Pex.Framework;
using Microsoft.Pex.Framework.Goals;

namespace MicroBenchmarks.NestedPUT
{    
    [PexClass(typeof(NestedPUTInvoker))]
    [PexMe.Attribute.FieldAccessObserver]
    [PexMe.Attribute.InsufficientObjectFactoryObserver]
    public partial class NestedPUTInvokerTest
    {
        [PexMethod]
        public void Explore([PexAssumeUnderTest]NestedPUTInvoker npi)
        {
            npi.Explore();                
        }
                
        [PexMethod]
        public void IncrA([PexAssumeUnderTest]NestedPUTInvoker npi, int i)
        {
            npi.IncrA(i);
        }
                
        [PexMethod]
        public void IncrB([PexAssumeUnderTest]NestedPUTInvoker npi)
        {
            npi.IncrB();
        }
    }
}
